1. accessory proof
  2. secondary proof